package joc;

public class Behavior {
	public static void postCondition(boolean result) {
		if (!result) {
			throw new AssertionError();
		}
	}
}
